On the prime ideal theorem

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

S - Fuzzy Prime Ideal Theorem

The notions of a S fuzzy ∧ sub semi lattice, a S fuzzy ideal and a S fuzzy prime ideal of a bounded lattice with truth values in a bounded ∧ sub semi lattice S are introduced which generalize the existing notions with truth values in a unit interval of real numbers. Finally, S fuzzy prime ideal theorem is proved. 2010 AMS Classification: 03G10, 46H10, 06D50, 08A72

متن کامل

Prime Ideal Theorem for Double Boolean Algebras

Double Boolean algebras are algebras (D,u,t, , ,⊥,>) of type (2, 2, 1, 1, 0, 0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under u (resp. t). A filter F is called primary if F 6= ∅ and for all x ∈ D we have x ∈ F or x ∈ F . In this note we prove t...

متن کامل

G-free Colorability and the Boolean Prime Ideal Theorem

We show that the compactness of G-free k-colorability is equivalent to the Boolean prime ideal theorem for any graph G with more than two vertices and any k ≥ 2.

متن کامل

The Dual of a Strongly Prime Ideal

Let R be a commutative integral domain with quotient field K and let P be a nonzero strongly prime ideal of R. We give several characterizations of such ideals. It is shown that (P : P) is a valuation domain with the unique maximal ideal P. We also study when P^{&minus1} is a ring. In fact, it is proved that P^{&minus1} = (P : P) if and only if P is not invertible. Furthermore, if P is invertib...

متن کامل

Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem

We formulate a restricted version of the Tukey-Teichmüller Theorem that we denote by (rTT). We then prove that (rTT) and (BPI) are equivalent in ZF and that (rTT) applies rather naturally to several equivalent forms of (BPI): Alexander Subbase Theorem, Stone Representation Theorem, Model Existence and Compactness Theorems for propositional and first-order logic. We also give two variations of (...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of the Mathematical Society of Japan

سال: 1968

ISSN: 0025-5645

DOI: 10.2969/jmsj/02010233